equi-recursive type